logic for computer science